101. A summary of scientific method /
پدیدآورنده : Peter Kosso
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Science-- Methodology
102. A survey of symbolic logic
پدیدآورنده : Lewis, Clarence Irving
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L4
1960
103. A survey of symbolic logic
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, Symbolic and mathematical
رده :
164
Le-S
104. A survey of symbolic logic
پدیدآورنده : Lewis, Charles Irving
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
105. A theory of formal deducibility
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
N87
no
.
6
106. A theory of heuristic information in game-tree search
پدیدآورنده : Tzeng, Chun-Hung
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
رده :
Q
335
.
T99
1988
107. A theory of heuristic information in game-tree search
پدیدآورنده : TZENG,CHUN-HUNG
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
Q
335
.
T99
108. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
no
.
18
109. A theory of sets
پدیدآورنده : MORSE,ANTHONY PERVY
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : AGGREGATES , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
M62
110. A theory of sets
پدیدآورنده : / Anthony P. Morse
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Set theory,Logic, symbolic and mathematical
رده :
511
.
3
Mo-T
111. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
v
.
18
112. #A tour through mathematical logic
پدیدآورنده : #Robert S. Wolf
موضوع : Logic, Symbolic and mathematical ،Algebra, Abstract
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
113. A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W65T6
114. A tour through mathematical logic /
پدیدآورنده : Robert S. Wolf
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
115. A unifying field in logics :
پدیدآورنده : Florentin Smarandache.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
116. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
117. Abstract set theory
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
118. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
119. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
120. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
